Input/Output Switched Asynchronous Sequential Machines with Transient Faults

Robust model matching control of input/output switched asynchronous sequential machines is addressed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model, while invalidating any transient faults that cause unauthorized state transitions. Switching operations and correction procedures are incorporated using output feedback so that the controlled switched machine can show the desired input/output behavior and fault tolerance. A matrix expression is presented to address reachability of switched asynchronous sequential machines with output equivalence with respect to a model. The proposed reachability condition for the existence of a controller and its design procedure are outlined in a simple example.